Automated Prototype Generation From Formal Requirements Model
نویسندگان
چکیده
منابع مشابه
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications
ion based Automated Test Generation from Formal Tabular Requirements
متن کاملGui Prototype Generation from Scenarios in the Requirements Elicitation Phase
In the requirements elicitation phase, operation flows of software are often defined by scenarios. It is necessary to define appropriate operation flows as scenarios in terms of easily comprehended operation flows, efficiency, etc. Then scenarios are implemented as software Graphical User Interfaces (GUIs). If the operation flows are defined inappropriately, the implemented GUIs may require mod...
متن کاملAutomated Prototype Generation for Multi-color Karyotyping
This chapter presents an algorithm for automatically generating a prototype from multicolor karyotypes obtained via multi-spectral imaging of human chromosomes. The single representative prototype of the color karyotype that is generated represents the analytical integration of a group of karyotypes obtained via Multicolor Fluorescence In Situ Hybridization (MFISH) method. Multicolor karyotypin...
متن کاملAutomated Test-Data Generation from Formal Models of Software
ion for Model Checking Software Systems with In-terrelated Numeric Constraints. In 9th ACM Foundations of Sofware Eng. Symp., September 2001.[2] M. P. E. Heimdahl, S. Rayadurgam, and W. Visser. Specification Centered Testing. In 2nd Automated Program Analysis,Testing and Verification Workshop, May 2001.[3] S. Rayadurgam and M. P. E. Heimdahl. Coverage Based TestCase Generation U...
متن کاملGenerating a Prototype from a UML Model of System Requirements
We present a method for automatically generating a prototype from a UML model of system requirements that consists of a use-case model and a conceptual class model. The method is based on a formalization of UML in which a use case is formally specified by a pair of pre and post conditions in the context of a conceptual class model. To generate a prototype, we translate the pre and post conditio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Reliability
سال: 2020
ISSN: 0018-9529,1558-1721
DOI: 10.1109/tr.2019.2934348